$\forall$${\it the\_es}$:ES, $l$:IdLnk, $e$:E, $n$:$\mathbb{Z}$. snds($l$, before($e$,$n$)) $\in$ (Msg on $l$) List